Documentation for infix (>=), infix ⊇ assembled from the following types:

language documentation Sets, bags, and mixes

From Sets, bags, and mixes

(Sets, bags, and mixes) infix (>=), infix ⊇

Returns True if $a is a superset of or equal to $b, else False. More information, Wikipedia definition.